Computer algebra applied to radiation from microstrip discontinuities
نویسندگان
چکیده
منابع مشابه
Investigation of Microstrip Dispersions and Bend Discontinuities
This paper presents an EM analysis of dispersions & discontinuities in a microstrip transmission lines. Dispersion characteristics of a microstrip lines are investigated by the existing models for study of microstrip lines and then compare the results with Software Simulation. Dispersions on microstrip lines with characteristics impedance 50Ω are investigated for the frequency range 1 to 18 GHz...
متن کاملFrom Computer Algebra to Discretized Continuous Logic
The aim of this paper is to present a new algebraic approach from computer algebra to a discretized continuous logic. It makes use of a previous model of p-valued logic (where p is a prime number) based on the use of Gröbner bases of polynomial ideals. A five-valued logic (i.e., p = 5) with some modal operators has been considered as a compromise between precision and complexity of the polynomi...
متن کاملPreface to Computer algebra and computer analysis
This special issue on Computer algebra and computer analysis was initiated by a session with the same title at the Third International ISAAC Congress, which took place in Berlin, 2001. The guest editors K. Gatermann and W. Koepf organized this session in order to stimulate the interaction between Computer Algebra and Analysis. In this special issue we have collected articles by participants of ...
متن کاملBinary Relational Algebra Applied to Software Architecture
The architecture of a piece of software refers to its structure as given by its components and their interconnections. An architectural style is a set of commonalities among the structures of a number of software systems. We are concerned with architectures that are characterized by directed graphs. The graphs we are interested in contain edges that are "typed" or "colored", which means that th...
متن کاملModal Kleene Algebra Applied to Program Correctness
Modal Kleene algebras are relatives of dynamic logics that support program construction and verification by equational reasoning. We describe their application in implementing versatile program correctness components in interactive theorem provers such as Isabelle/HOL. Starting from a weakest precondition based component with a simple relational store model, we show how variants for Hoare logic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1990
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(08)80060-0